COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND

Abstract The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes models axiomatized these can be turned into Elementary Class restricting to positive and deliberate uses. Rather using ad hoc proof, we give general framework abstract Skolemizations. This method gives uniform proof wide rang are Classes.